(0 17 15)(1 6 4)(2 10 9)(3 19 12)(5 13 7)(8 16 14)(11 20 18)
ALLOWS (11/8)-SEQUENCE
1: (3 6 12)
(0 17 15)(1 6 19 12 4)(2 10 9)(3)(5 13 7)(8 16 14)(11 20 18)
2: (1 6 19)
(0 17 15)(1 12 4)(2 10 9)(3)(5 13 7)(6)(8 16 14)(11 20 18)(19)
3: (5 13 7)
(0 17 15)(1 12 4)(2 10 9)(3)(5)(6)(7)(8 16 14)(11 20 18)(13)(19)
4: (1 12 4)
(0 17 15)(1)(2 10 9)(3)(4)(5)(6)(7)(8 16 14)(11 20 18)(12)(13)(19)